Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unreachable parent optimizations #1126

Merged
merged 2 commits into from
Jan 15, 2025

Conversation

nilmerg
Copy link
Member

@nilmerg nilmerg commented Jan 15, 2025

No description provided.

@nilmerg nilmerg self-assigned this Jan 15, 2025
@cla-bot cla-bot bot added the cla/signed CLA is signed by all contributors of a PR label Jan 15, 2025
@nilmerg nilmerg changed the base branch from main to dependencies January 15, 2025 09:38
@nilmerg nilmerg force-pushed the unreachable-parent-optimizations branch from 2099654 to c7567fb Compare January 15, 2025 14:09
@nilmerg nilmerg force-pushed the unreachable-parent-optimizations branch from c7567fb to 055f80d Compare January 15, 2025 14:37
Nodes might be referenced by multiple independent paths, which
might lead to the same root problem multiple times.
Since child edges of a group now have state as well,
filtering for the group's state is not required anymore.
@nilmerg nilmerg force-pushed the unreachable-parent-optimizations branch from 055f80d to 0b51376 Compare January 15, 2025 15:39
@nilmerg nilmerg merged commit b52c219 into dependencies Jan 15, 2025
22 checks passed
@nilmerg nilmerg deleted the unreachable-parent-optimizations branch January 15, 2025 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cla/signed CLA is signed by all contributors of a PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants